es{-}hist\{i:l\}(${\it es}$; $e_{1}$; $e_{2}$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$map($\lambda$$e$.es{-}info(${\it es}$;$e$);es{-}interval\{i:l\}(${\it es}$; $e_{1}$; $e_{2}$))